Nuprl Definition : identity
13,42
postcript
pdf
Id(
x
) ==
x
latex
Up
fun
1
,
fun
1
Wellformedness Lemmas
identity
wf
,
identity
wf
Definitions
x
.
A
(
x
)
FDL editor aliases
identity
origin
x.A(x)x.A(x)